Logarithm and program testing

Randomized property-based testing has gained much attention recently, but most frameworks stop short at polymorphic properties. Although Bernardy et al. have developed a theory to reduce wide range of properties monomorphic ones, it relies upon ad-hoc embedding-projection pairs massage the types into particular form. This paper skips and presents mechanical monomorphization for general class functions, step towards automatic The calculation suitable turns out be logarithm .